libgmp.so
libgmp.so.10
libgmp.so.10.4.1
libgmpxx.so
libgmpxx.so.4
libgmpxx.so.4.6.1
